package at.ptasat.solver;

import java.io.OutputStream;

public abstract class AsyncSolverFactory {
	public abstract String getName();
	public abstract AsyncSolver create(AsyncSolverListener listener, OutputStream out, OutputStream err, String arguments);
}
